Section: New Software and Platforms

MPGLib

Functional Description

MPGLib is a library written in OCaml, which allows to manipulate tropical polyhedra.

This library implements algorithms allowing to pass from an external representation of a polyhedron to an internal description, or inversely. Besides, the library allows to perform several fundamental operations over tropical polyhedra, such as computing the associated polyhedral complex (see Develin and Sturmfels), or determining the tropical tangent cone at any point. Finally, it provides all the primitives allowing to use tropical polyhedra as an numerical abstract domain, in order to determine program/system invariants involving the operations min and max.

• Participant: Xavier Allamigeon

• Contact: Xavier Allamigeon

• https://gforge.inria.fr/projects/tplib